Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
701	The Slingshot Argument Philosophy 142—John MacFarlane March 28, 2011 Rules for We assume that the following rules are valid for the operator: Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-28 19:49:51 Model theory Quantification Proof theory Propositional calculus First-order logic Existential quantification Negation Logical equivalence Kurt Gödel Logic Mathematical logic Mathematics
702	J. LOGIC PROGRAMMING 1993:16:TOWARDS A MEANING OF LIFE? Add to Reading List Source URL: hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:10:42 Lambda calculus Logic programming Functional programming Higher-order functions Model theory Unification Function Interpretation Constraint logic programming Software engineering Declarative programming Computing
703	J. LOGIC PROGRAMMING LOGIN: A LOGIC PROGRAMMING BUILT-IN INHERITANCE 1986:3: Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English Mathematical logic Formal languages Automated theorem proving Logic programming Unification Prolog First-order logic Interpretation Functional predicate Logic Model theory Mathematics
704	Structural Filtering A Paradigm for EÆcient and Exact Geometric Programs Stefan Funke Kurt Mehlhorny Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2003-06-20 16:00:19 Quicksort Insertion sort Delaunay triangulation Algorithm Merge sort Randomized algorithm Time complexity Logarithm Factorial Mathematics Sorting algorithms Order theory
705	Ordering Numbers Worksheet E - AIMS Practice Grade 2 Add to Reading List Source URL: www.tlsbooks.com Language: English - Date: 2014-02-10 01:04:06 Lattice Elementary arithmetic Order theory Mathematics Group theory Number
706	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
707	Greatest Common Divisor and Least Common Multiple, v3 WG21 N4061N3913, N3845 JTC1Programming Language C++ Walter E. Brown <> Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-06-30 08:00:30 Greatest common divisor Least common multiple Euclidean algorithm Divisor Multiplicative order GCD domain Binary GCD algorithm Mathematics Number theory Modular arithmetic
708	Ordering Numbers Worksheet C Add to Reading List Source URL: www.tlsbooks.com Language: English - Date: 2014-02-10 01:04:05 Lattice Order theory Elementary arithmetic Mathematics Group theory Number
709	CHE 115 Chemical Kinetics XIII. Chemical Kinetics ClNO2 (g) Add to Reading List Source URL: www.chm.davidson.edu Language: English - Date: 2001-10-26 10:05:52 Reaction rate Rate equation Chemical reaction Transition state theory Stoichiometry Arrhenius equation Activation energy Order of reaction Collision theory Chemical kinetics Chemistry Science
710	Logic and Lattices for Distributed Programming Neil Conway William Marczak Peter Alvaro Joseph M. Hellerstein Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-06-22 16:27:05 Lattice theory Algebra Order theory Lattice Semilattice Class Boolean algebra Monotonic function Complete Heyting algebra Abstract algebra Mathematics Algebraic structures

UPDATE